#include <stdio.h>

int main(void) {
    float LB, KG;
    scanf("%f", &KG);
    LB = (float) 11 / 5 * KG;
    printf("%.3f\n", LB);
    return 0;
}
